strongly axiomatizable theory
[数] 强可公理化理论
热门查询
- deuterium n. [核] 氘；[核] 重氢
- Jeffery [人名] [英格兰人姓氏] 杰弗里 Jeffrey的变体
- ohp abbr. 顶置防护（Overhead Protection）；高射投影仪（Overhead Projector）
- brava n. (Brava)人名；(法)布拉瓦 int. 好啊！（向女性喝彩时用）
- cutlass n. 弯刀；短剑
- loeb 罗卜（Jacques；1859-1924生于德国的美国生理学家及生物学家）
- parietal n. 顶骨，头顶骨 adj. [解剖] 腔壁的；颅顶骨的；（美）学院生活的
- avignon n. [纺] 阿维尼昂绸
- unscrupulously adv. 不客气地，无道德原则地
- tortious adj. 侵权行为的，非法行为的
- copiously adv. 充裕地；丰富地
- Malvern n. 莫尔文（英国城镇）
- introduction n. 介绍；引进；采用；入门；传入
- pacific adj. 和平的；温和的；平静的 n. 太平洋 adj. 太平洋的
- implicate vt. 使卷入；涉及；暗指；影响
- tennis n. 网球（运动） n. （英）坦尼斯（人名）
- polemical adj. 好辩的；好争论的；挑起论战的
- sealing n. 封闭，[机] 密封；补铸件的漏洞；猎捕海豹业
- footage n. 英尺长度；连续镜头；以尺计算长度
- unwonted adj. 不习惯的；不寻常的；少有的
